// buffer_write_short(val)
// Writes a short integer to the buffer

buffer_write(buffer, buffer_u16, argument0)
